fully faithful functor

完全一一函子